تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۴۴ ثانیه یافت شد.

1. Many-sorted logic and its applications

پدیدآورنده : edited by K. Meinke and J.V. Tucker

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence

رده :

QA

76

.

9

.

M35

1993

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها